Michael Palmer, Dernières nouvelles d’@mérique. Médias, pouvoirs et langages depuis les États-Unis (xviiie-

Notes & Analyses sur les États - Unis / on the USA No 5 , Avril / April 2005

Les délocalisations sont le plus récent champ de bataille de la résistance à la mondialisation. Cette note de recherche cherche à expliquer le niveau de l’activité législative pour contrer les délocalisations dans les 50 États américains. Nous résumons d’abord les débats sur le thème des délocalisations et les comparons aux débats sur le protectionnisme. Ensuite, nous présentons quelques modèle...

Utilisation des langages d'arbres pour la modélisation et la vérification des systèmes à états infinis

This document presents different tools to represent and manipulate infinitsets of tree tuples called tree tuple languages. We choose logic programming as formalismto describe tree tuple languages (i.e relations) and logic program transformation techniquesfor computing operations on them. In a first step we study a class of relation closed underusual sets operations, the class of...

Nouvelles donnees sur les chauves-souris fossiles de localites du Pleistocene moyen et superieur de France

New data on bat fossils from Middle and Upper Pleistocene localities of France * Nouvelles donnees sur les chauves-souris fossiles de localites du Pleistocene moyen et superieur de France Paloma Sevilla a , * , Jean Chaline b a DepartamenlO de PaleonlOlogta, Facultad de Ciencias Geologicas (UCM) e lnstituto de Geologta Economica (CSIC), C/Jose Antonio Novais 2, 28040 Madrid, Spain b UMR 5561 du...

Automates infinis, logiques et langages

Biographies Médicales et Scientifiques, XVIIIe Siècle

because he came from a region famous above all for its portrait painters?; and so on, and so on. When he is not busy posing questions, Herrlinger does his best to provide answers. For example, he demonstrates the persistence of classical motifs through the Middle Ages (citing an eleventh-century Byzantine MS in the Laurentian Library, Florence) and into the Rennaissance (e.g. Vidius Vidius); he...